501. The oretical computer science
پدیدآورنده: / Editor Alfredo Desantis
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory-Congresses,Formal Languages-Congresses
رده :
QA267
.
I8T47
1995
502. The physics and applications of high brightness electron beams :
پدیدآورنده: editors, L. Palumbo, J. Rosenzweig, L. Serafini.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electron beams-- Industrial applications, Congresses.,Electron beams, Congresses.,High-brightness accelerators, Congresses.,Electron beams-- Industrial applications.,Electron beams.,High-brightness accelerators.,SCIENCE-- Physics-- Atomic & Molecular.,SCIENCE-- Physics-- Nuclear.
رده :
QC787
.
H53
I545
2007eb
503. The semantic web -- ISWC 2018 :
پدیدآورنده: Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
504. Theoretical computer science
پدیدآورنده: 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
48
505. Theoretical computer science :
پدیدآورنده: edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
506. Theoretical computer science
پدیدآورنده: / 3rd GI conference, Darmstadt, March 28-30, 1977
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory -- Congresses,Formal languages -- Congresses
رده :
QA
267
.
G18
1977
507. Theoretical computer science : 3rd GI Conference, Darmstadt, March 28-30, 1977
پدیدآورنده: edited by H. Tzchach, H. Waldschmidt and K.-G. Walter on behalf of the GI
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
48
508. Theoretical computer science, 3rd GI Conference: Darmstadt, March 28-30, 1977
پدیدآورنده: edited by H. Tzschach, H. Waldschmidt, H. K.-G. Walter, on behalf of the GI
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، AUTOMATH )Formal language(,Congresses ، Formal languages
رده :
QA
267
.
G18
1977
509. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
پدیدآورنده: edited by K. Weihrauch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
67
510. Theoretical computer science, 6th GI-Conference Dortmund, January 5-7, 1983
پدیدآورنده: Edited by A. B. Cremers and H. P. Kriegel
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congressess ، Computer science
رده :
QA
267
.
T473
1982
511. Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983
پدیدآورنده: edited by A.B. Cremers and H.P. Kriegel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
145
512. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
پدیدآورنده: edited by Peter Deussen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
104
513. Theoretical computer science: 5th GI-Conference, Karlsruhe, March 23-25, 1981
پدیدآورنده: edited by Peter Deussen
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
T47
1981
514. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده: GI-Fachtagung Theoretische Informatik, 4th, 9791, Aachen
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1979
515. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده: edited by K. Weihrauch
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
67
516. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1983
517. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1981
518. Theory and Practice of Robots and Manipulators :
پدیدآورنده: edited by A. Morecki, G. Bianchi, K. Kȩdzior.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Manipulators (Mechanism) -- Congresses.,Robotics -- Congresses.,Science (General)
رده :
TJ210
.
3
E358
1985
519. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده: Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
520. Theory and practice of natural computing :
پدیدآورنده: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
